An Irrational Construction of R from Z
نویسنده
چکیده
This paper reports on a construction of the real numbers in the ProofPower implementation of the HOL logic. Since the original construction was implemented, some major improvements to the ideas have been discovered. The improvements involve some entertaining mathematics: it turns out that the Dedekind cuts provide many routes one can travel to get from the ring of integers, Z, to the field of real numbers, R. The traditional stop-over on the way is the field of rational numbers, Q. This paper shows that going via certain rings of algebraic numbers can provide a pleasant alternative to the more well-trodden track.
منابع مشابه
P114: The Relationship between Social Anxiety, Irrational Beliefs and Emotional Intelligence with Homesickness in the University of Tehran Dormitory Students
Moving away from home always lead most university students to feel homesick that negatively impacts their academic performance and excessive acculturative stress can contribute to eating and sleeping problems, low energy and headaches. Severe homesickness is classified as an adjustment disorder with mixed anxiety and depressed mood that in some critical cases leads to suicide. To consider this ...
متن کاملHeuristic Process Model Simplification in Frequency Response Domain
Frequency response diagrams of a system include detailed and recognizable information about the structural and parameter effects of the transfer function model of the system. The information are qualitatively and quantitatively obtainable from simultaneous consideration of amplitude ratio and phase information. In this paper, some rules and relationships are presented for making use of frequenc...
متن کاملThe Role of Irrational Beliefs and Attitudes to Death in Quality of Life of the Older People
Objectives Ageing is a natural phenomenon in the life of every person, and quality of life and identifying its related factors is one of the interesting areas in aging psychology. Given the importance of this issue, the present study aimed to determine the role of attitude to death and irrational beliefs in the quality of life of older people. Methods & Materials The method of this study is de...
متن کاملAlgebraic independence of some Lambert series
1] proved that if Y k0 (1 0 z F k) = X k0 "(k)z k ; then "(k) = 0 or 61 for any k 0. Tamura [7] generalized this result by proving the following theorem: Let fR k g k0 be a linear recurrence of positive integers satisfying R k+n = R k+n01 + 1 1 1 + R k (k 0) with n 2 and let P(z) = Y k0 (1 0 z R k) = X k0 "(k)z k : Then, if n is even, f"(k) j k 0g is a nite set; if in addition R k = 2 k (0 k n0...
متن کاملWeierstrass’s Construction of the Irrational Numbers
We present an overview of the development of the irrational numbers due to Karl Weierstrass. This construction was first presented during lectures in the 1860s in Berlin. Weierstrass never published his construction. Several of his students (Kossak, Horwitz, von Dantscher and Pincherle, to name a few) gave accounts in lecture notes from the courses. However, these notes were not published under...
متن کامل